- resulting deduction
- результирующий вывод
English-Russian dictionary of computer science and programming. 2013.
English-Russian dictionary of computer science and programming. 2013.
Deduction theorem — In mathematical logic, the deduction theorem is a metatheorem of first order logic.[1] It is a formalization of the common proof technique in which an implication A → B is proved by assuming A and then proving B from this assumption.… … Wikipedia
deduction new for old — noun : a subtraction made by a marine underwriter from the total cost of repairs in paying a claim under a hull insurance policy to allow for the gain in excess of loss to the shipowner resulting from the new material installed during repairing … Useful english dictionary
Itemized deduction — Individual taxpayers in the United States are allowed a choice when preparing their Federal income tax returns. After computing their Adjusted gross income (AGI), taxpayers can itemize their deductions (from a list of allowable items) and… … Wikipedia
Like-kind exchange — A like kind exchange is a United States tax deferred exchange that allows for the disposal of an asset and the acquisition of another similar asset without generating a tax liability from the sale of the first asset. A like kind exchange can… … Wikipedia
Internal Revenue Code section 1031 — Under Section 1031 of the Internal Revenue Code (usc|26|1031), the exchange of certain types of property may defer the recognition of capital gains or losses due upon sale, and hence defer any capital gains taxes otherwise due.ummaryTo qualify… … Wikipedia
trust — A legal entity created by a grantor for the benefit of designated beneficiaries under the laws of the state and the valid trust instrument. The trustee holds a fiduciary responsibility to manage the trust s corpus assets and income for the… … Black's law dictionary
income tax — a tax levied on incomes, esp. an annual government tax on personal incomes. [1790 1800] * * * Levy imposed by public authority on the incomes of persons or corporations within its jurisdiction. In nations with an advanced system of private… … Universalium
trust — n 1 a: a fiduciary relationship in which one party holds legal title to another s property for the benefit of a party who holds equitable title to the property b: an entity resulting from the establishment of such a relationship see also… … Law dictionary
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Bending (metalworking) — Metal bending redirects here. For the form of stage magic, see Spoon bending. Bending … Wikipedia
Charles Peirce — Infobox Scientist name = Charles Peirce box width = image size = 200px caption = Charles Peirce birth date = September 10, 1839 birth place = Cambridge, Massachusetts death date = April 19, 1914 death place = residence = citizenship = nationality … Wikipedia